🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧮 Combinator Calculus
SKI Combinators, Church Encoding, Point-Free Style, Reduction
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org
·
15h
λ
Lambda Calculus
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
·
23h
·
Discuss:
blog.mitrichev.ch
🌲
Deforestation
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
·
9h
🎯
Bit-Vector Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com
·
1d
·
Discuss:
Hacker News
∀
Quantified Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallel C++ for Scientific Applications: Fixed Point Calculations and Finding Roots
youtube.com
·
2h
·
Discuss:
r/cpp
🔬
Nanopasses
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language • Semantics 3
inquiryintoinquiry.com
·
3h
📋
Backus-Naur Form
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
·
7h
·
Discuss:
Hacker News
💬
Interactive REPLs
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip – A Lisp System in JavaScript
lisperator.net
·
5h
·
Discuss:
Hacker News
🌱
Minimal Lisps
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
·
2h
📜
Proof Languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
·
15h
🔗
Unification Algorithms
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Proof of the Riemann Hypothesis
dev.to
·
1d
·
Discuss:
DEV
🏗️
Calculus of Constructions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
P-adic numbers and kernels
arxiv.org
·
15h
🔶
Lattice Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Toy Binary Decision Diagrams
philipzucker.com
·
4d
✅
Type Checking
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Haskell Weekly Issue 493
haskellweekly.news
·
1d
·
Discuss:
Hacker News
⚡
functional programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Getting a Hypergraph of Functions to a Browser
systeminit.com
·
1d
·
Discuss:
Hacker News
🏛️
Elm Architecture
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org
·
1d
🔗
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Sorting encrypted data without decryption: a practical trick
github.com
·
4h
·
Discuss:
DEV
🔗
Hash Functions
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org
·
19h
·
Discuss:
Hacker News
🔬
Nanopasses
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog
·
17h
·
Discuss:
Hacker News
,
r/programming
📝
Rope Editors
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »